Known vulnerabilities in Debian coq-libs (Debian package) 8.1+dfsg-1

8.0pl2-1 8.0pl2-2 8.0pl2-3 8.0pl2-4 8.0pl3-1 8.0pl3-2 8.0pl3+8.1alpha-1 8.0pl3+8.1alpha-2 8.0pl3+8.1beta-1 8.0pl3+8.1beta.2-1 8.1~gamma-1 8.1~gamma-2 8.1~gamma-3 8.1~gamma-4 8.1+dfsg-1 8.1+dfsg-2 8.1+dfsg-3 8.1+dfsg-4 8.1+dfsg-5 8.1+dfsg-6 8.1.pl1+dfsg-1 8.1.pl1+dfsg-2 8.1.pl1+dfsg-3 8.1.pl2+dfsg-1 8.1.pl2+dfsg-2 8.1.pl2+dfsg-3 8.1.pl3+dfsg-1 8.2~beta4+dfsg-1 8.2~beta4+dfsg-2